Area number x is called k-monotonically computable , for constant k > 0, if there is a computable sequence n ∈ ℕ of rational numbers which converges to x such that the convergence is k-monotonic in the sense that k · |x — xn| ≥ |x — xm| for any m > n and x is monotonically computable if it is k-mc for some k > 0. x is weakly computable if there is a computable sequence s ∈ ℕ of (...) rational numbers converging to x such that the sum equation image|xs — xs + 1| is finite. In this paper we show that a mc real numbers are weakly computable but the converse fails. Furthermore, we show also an infinite hierarchy of mc real numbers. (shrink)

In "*Must* ...stay ...strong!" (von Fintel & Gillies 2010) we set out to slay a dragon, or rather what we called The Mantra: that epistemic *must* has a modal force weaker than expected from standard modal logic, that it doesn't entail its prejacent, and that the best explanation for the evidential feel of *must* is a pragmatic explanation. We argued that all three sub-mantras are wrong and offered an explanation according to which *must* is strong, entailing, and the felt indirectness (...) is the product of an evidential presupposition carried by epistemic modals. Mantras being what they are, it is no surprise that each of the sub-mantras have been given new defenses. Here we offer them new problems and update our picture, concluding that *must* is (still) strong. (shrink)

Discourse on Metaphysics and Other Essays contains complete translations of the two essays that constitute the best introductions to Leibniz's complex thought: Discourse on Metaphysics of 1686 and Monadology of 1714. These are supplemented with two essays of special interest to the student of modern philosophy, On the Ultimate Origination of Things of 1697 and the Preface to his New Essays of 1703-1705. The translations are taken from Leibniz, Philosophical Essays, edited and translated by Roger Ariew and Daniel Garber (Hackett, (...) 1989). (shrink)

The structure of derivations in natural deduction is analyzed through isomorphism with a suitable sequent calculus, with twelve hidden convertibilities revealed in usual natural deduction. A general formulation of conjunction and implication elimination rules is given, analogous to disjunction elimination. Normalization through permutative conversions now applies in all cases. Derivations in normal form have all major premisses of elimination rules as assumptions. Conversion in any order terminates.Through the condition that in a cut-free derivation of the sequent Γ⇒C, no inactive weakening (...) or contraction formulas remain in Γ, a correspondence with the formal derivability relation of natural deduction is obtained: All formulas of Γ become open assumptions in natural deduction, through an inductively defined translation. Weakenings are interpreted as vacuous discharges, and contractions as multiple discharges. In the other direction, non-normal derivations translate into derivations with cuts having the cut formula principal either in both premisses or in the right premiss only. (shrink)

This article surveys the state of the art in the field of semantic universals. We examine potential semantic universals in three areas: (i) the lexicon, (ii) semantic “glue” (functional morphemes and composition principles), and (iii) pragmatics. At the level of the lexicon, we find remarkably few convincing semantic universals. At the level of functional morphemes and composition principles, we discuss a number of promising constraints, most of which require further empirical testing and/or refinement. In the realm of pragmatics, we predict (...) that Gricean mechanisms are universal, but suggest that the precise nature of presuppositions may be subject to cross-linguistic variation. Finally, we follow E.L. Keenan in concluding that the overarching universal of effability or translatability between languages cannot be upheld in its strongest form. A recurring theme throughout this survey is how much work still remains to be done in the relatively young field of cross-linguistic formal semantics. (shrink)

This article concerns a new constraint on the interaction of quantifier phrases and epistemic modals. It is argued that QPs cannot bind their traces across an epistemic modal, though it is shown that scoping mechanisms of a differentnature are permitted to cross epistemic modals. The nature and source of this constraint are investigated.

Summary Verbs of creation (create, make, paint) are not transparent. The object created does not exist during the event time but only thereafter. We may call this type of opacity temporal opacity. I is to be distinguished from modal opacity, which is found in verbs like owe or seek. (Dowty, 1979) offers two analyses of creation verbs. One analysis predicts that no object of the sort created exists before the time of the creation. The other analysis says that the object (...) exists throughout the act of creation. I investigate three theories: Theory I says that no object of the sort created and which is caused by the very act of creation exists before the creation. In this theory, verbs of creation must embed a property. Theory II can regard the indefinite object of a creation verb as a quantifier and gives it wide scope with respect to the verb. The theory has to make sure that the objects quantified over exist only after the event. While Theory I and II start from the assumption that the extension of all nouns depend on time, Theory III says that Individual Level predicates do not depend on time. This ontology will enable us to treat verbs of creation as first order relations. The theory will entail that a picture does not mean the same as there is a picture. The paper discusses various approaches to the problem: Krifka, Parsons, Landman, Kratzer and Zucchi. (shrink)

... V The Foundations of Mathematics Braithwaite VI Logical Studies von Wright VII A Treatise on Induction and Probability von Wright VIII An Examination of ...

A normalization procedure is given for classical natural deduction with the standard rule of indirect proof applied to arbitrary formulas. For normal derivability and the subformula property, it is sufficient to permute down instances of indirect proof whenever they have been used for concluding a major premiss of an elimination rule. The result applies even to natural deduction for classical modal logic.

Gentzen's original proof of the Hauptsatz used a rule of multicut in the case that the right premiss of cut was derived by contraction. Cut elimination is here proved without multicut, by transforming suitably the derivation of the premiss of the contraction.

0. SOME THESES .................................................................................................... ...............................................3..

The object of our investigation is expressing necessary conditions in natural language, particularly in a certain kind of conditional sentences, the so-called Anankastic Conditionals 2, a topic brought into the linguistic discussion by the seminal papers and. A typical AC is the following sentence, Sæbø’s standard example: If you want to go to Harlem, you have to take the A train. Sæbø analyses the sentence by means of the modal theory in, according to which a modal has two contextual parameters, (...) a modal base f and an ordering source g. The modal base contains relevant facts and the ordering source contains an ideal like wishes, moral laws and the like. Normally, the antecedent of a necessity-conditional is added to the modal base. Sæbø’s new proposal for the analysis of the AC is that the antecedent without the information ‘you want’, called inner antecedent, is added to the ordering source. (shrink)

EDITOR'S INTRODUCTORY ESSAY1 A short biographical note Dietrich von Hildebrand was born in 1889 in Florence, as the sixth child and only son of the German ...

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Introduction: the emergence of the proportionate sentence -- Sentence proportionality sketched briefly -- Why should the criminal sanction exist? -- Why punish proportionately? -- Ordinal and cardinal proportionality -- Seriousness, severity and the living-standard -- The role of previous convictions -- Proportionate non-custodial sanctions -- A "modified" desert model? -- The politics of the desert model -- Proportionate sentences for juveniles -- Appendix: the desert model's evolution : a brief chronology.

Economistic Business Ethics Denial (BED) is the belief that contemporary business has features that make it systematically incompatible with ethics. Using over 1200 participants across seven separate samples we established the substantive validity of a BED Scale, confirmed its theorized structure, psychometric properties, convergent, and discriminant validity. The results suggest that the scale assesses four correlated factors of economistic BED. The scale can be used in future research on ethical decision making in business, and business ethics education.

The Löwenheim-Skolem theorem was published in Skolem's long paper of 1920, with the first section dedicated to the theorem. The second section of the paper contains a proof-theoretical analysis of derivations in lattice theory. The main result, otherwise believed to have been established in the late 1980s, was a polynomial-time decision algorithm for these derivations. Skolem did not develop any notation for the representation of derivations, which makes the proofs of his results hard to follow. Such a formal notation is (...) given here by which these proofs become transparent. A third section of Skolem's paper gives an analysis for derivations in plane projective geometry. To clear a gap in Skolem's result, a new conservativity property is shown for projective geometry, to the effect that a proper use of the axiom that gives the uniqueness of connecting lines and intersection points requires a conclusion with proper cases (logically, a disjunction in a positive part) to be proved. The forgotten parts of Skolem's first paper on the Löwenheim-Skolem theorem are the perhaps earliest combinatorial analyses of formal mathematical proofs, and at least the earliest analyses with profound results. (shrink)

Im Jahr 1918 erschien als 28. Band der Reihe „Die Griechischen Christlichen Schriftsteller der ersten drei Jahrhunderte“ (GCS), nach dem frühen Tod von Gerhard Loeschcke von Margret Heinemann unter schwierigen Bedingungen eilig fertiggestellt (L./H.), die „Gelasius Kirchengeschichte“. Nach über 80 Jahren konnte nun G. C. Hansen (Ha.) endlich eine Neubearbeitung für die GCS vorlegen, deren Anfänge (noch durch M. Heinemann selbst) bis auf das Jahr 1945 zurückgehen (S. V f.).

In lieu of an abstract, here is a brief excerpt of the content:Political AuthorityA Christian PerspectiveMichael von BrückGeneral Reflection: Apocalyptic and Utopian Models of Progress and ReligionEuropean tradition of thought is shaped by two different mythical imaginations of time structure: apocalyptic thought and the concept of utopia.Jewish apocalyptical thinking culminated in the expectation that God would finally complete the processes of history at the end of time. In conjunction with Iranian dualism this expectation was interpreted metaphysically: After the collapse of (...) the existing order God would create a messianic kingdom of peace and justice, that is, a kingdom under the direct rule of God. This was not “political progress” in the modern sense of the term, for the subject of these final events was God himself or God alone. Human beings might participate in accelerating or slowing down these divine actions by lawful or unlawful behavior—measured according to the Mosaic Law, but human historical acting itself would not lead to a betterment in this sense. Nevertheless, this form of thought gave history a direction, and this is what inspired later Jewish and Christian intentionality. Early Christianity was shaped by the expectation of the coming end of time in the immediate future; however, at the same time it added a remarkable tension to the traditional apocalyptic idea: the tension of fulfillment of time, which had happened already in the advent of Jesus as the Christ (messiah) and an expectation of the imminent completion of time (the return of Christ, which would finally end history and start the new kingdom). Since the second century ad this myth of future time became ontologized or platonized—that is, the future was transferred into an “other world.” This means that the new quality would not be a dimension of the future (only) but graspable in the ecclesiastical mediation of the sacraments. The eucharist was the pharmakon athanasias (medicine of immortality). At the same time there was a mystical dimension that holds that in a specific spiritual experience this dimension might be experienced by any person who would be prepared to receive it as divine grace. The paradigm of early Christianity failed: Christ did not return. There was no new kingdom that would have ended known history. In order to cope with this disappointment, two forms of life emerged that shaped the [End Page 159] spirit of Christianity throughout the Middle Ages, so to speak, until the end of the eighteenth century: ecclesiastical mediation of the saving reality and mystical participation in a transtemporal Beyondness.Utopia develops on the basis of difference between imagination and reality. At least structurally utopian thinking can be found in all cultures; usually it is expressed in the power of myths. This marks a difference between utopia and apocalyptics. There are three different types of utopian thinking: spatial, temporal, and in terms of different states of consciousness. Spatial utopia expects the final accomplishment or climax of history, that is, the essence of hope, in spatial terms, in different regions of the world, faraway, behind oceans or mountains (Atlantis, the country flowing with milk and honey, El Dorado, Shambhala, the islands of the blessed, etc.). These spaces lost their power of inspiring imagination because there are no more white spots on the map, and that is why this utopia had to emigrate into extraterrestrial spaces of the universe (the contemporary myths of ET, Star Wars, etc.)Temporal utopia transfers the field of expectation to the beginning of the world (paradise, Golden Age) or to the end of history (millennialistic thought, communistic utopia). These temporal expectations lost their power of inspiring imagination because the fulfillment was heralded time and again but never happened.Utopia in terms of a different state of consciousness transfers the catastrophe (the turning point of time and history) into the consciousness of human beings (the prophets of Israel, Buddha, Jesus, in a certain way Confucius, modern New Age movements, etc.). An individual or even collective awakening of consciousness in humans would transform the world from within into a new paradise. The credibility of this model is challenged by the actual suffering in the world, which does not seem to diminish.In actual history these three types occur in mixed forms. The Western idea of... (shrink)

The concept of revolution marks the ultimate horizon of modern politics. It is instantiated by sites of both hope and horror. Within progressive thought, “revolution” often perpetuates entrenched philosophical problems: a teleological philosophy of history, economic reductionism, and normative paternalism. At a time of resurgent uprisings, how can revolution be reconceptualized to grasp the dynamics of social transformation and disentangle revolutionary practice from authoritarian usurpation? Eva von Redecker reconsiders critical theory’s understanding of radical change in order to offer a bold (...) new account of how revolution occurs. She argues that revolutions are not singular events but extended processes: beginning from the interstices of society, they succeed by gradually rearticulating social structures toward a new paradigm. Developing a theoretical account of social transformation, Praxis and Revolution incorporates a wide range of insights, from the Frankfurt School to queer theory and intersectionality. Its revised materialism furnishes prefigurative politics with their social conditions and performative critique with its collective force. Von Redecker revisits the French Revolution to show how change arises from struggle in everyday social practice. She illustrates the argument through rich literary examples—a ménage à trois inside a prison, a radical knitting circle, a queer affinity group, and petitioners pleading with the executioner—that forge a feminist, open-ended model of revolution. Praxis and Revolution urges readers not only to understand revolutions differently but also to situate them elsewhere: in collective contexts that aim to storm manifold Bastilles—but from within. (shrink)

Ce livre est la brillante synthèse d'une œuvre qui figure au premier plan de la pensée catholique au XXe siècle. L'élan qui anime tous les écrits de Hans Urs von Balthasar ne s'affirme dans aucun livre mieux que dans cette Théologie de l'histoire. Celle-ci est parfaitement centrée sur le temps du Christ : Dieu toujours présent parmi les hommes. Depuis l'incarnation, l'histoire se déroule dans ce temps nouveau ; il est la norme de l'évolution humaine ; c'est lui qui mesure (...) le cours de l'existence, le progrès vertical et horizontal de l'humanité. Une fresque extraordinaire se déploie sous les yeux du lecteur l'histoire s'intériorise en un destin personnel, la vocation de chacun se situe dans un destin historique universel. Cette vision eschatologique, d'un réalisme éblouissant et pathétique, nous montre que la fin des temps et les temps nouveaux sont déjà commencés. (shrink)

This new edition of The Heart is the flagship volume in a series of Dietrich von Hildebrand's works to be published by St. Augustine's Press in collaboration with the Dietrich von Hildebrand Legacy Project. Founded in 2004, the Legacy Project exists in the first place to translate the many German writings of von Hildebrand into English. While many revere von Hildebrand as a religious author, few realize that he was a philosopher of great stature and importance. Those who knew von (...) Hildebrand as philosopher held him in the highest esteem. Louis Bouyer, for example, once said that "von Hildebrand was the most important Catholic philosopher in Europe between the two world wars." Joseph Cardinal Ratzinger expressed even greater esteem when he said: "I am personally convinced that, when, at some time in the future, the intellectual history of the Catholic Church in the twentieth century is written, the name of Dietrich von Hildebrand will be most prominent among the figures of our time." The Heart is an accessible yet important philosophical contribution to the understanding of the human person. In this work von Hildebrand is concerned with rehabilitating the affective life of the human person. He thinks that for too long philosophers have held it in suspicion and thought of it as embedded in the body and hence as being much inferior to intellect and will. In reality, he argues, the heart, the center of affectivity, has many different levels, including an eminently personal level; at this level affectivity is just as important a form of personal life as intellect and will. Von Hildebrand develops the idea that properly personal affectivity, far than tending away from an objective relation to being, is in fact one major way in which we transcend ourselves and give being its due. Von Hildebrand also developed the important idea that the heart "in many respects is more the real self of the person than his intellect or will." At the same time, the author shows full realism about the possible deformities of affective life; he offers rich analyses of what he calls affective atrophy and affective hypertrophy. The second half of The Heart offers a remarkable analysis of the affectivity of the God-Man. (shrink)

Critic, poet and philosopher Friedrich von Schlegel (1772–1829) was a leading figure of German Romanticism. In the two years before his untimely death, he wrote three cycles of lectures intended as part of a larger project to lay the foundations of a new general philosophy. Two of these cycles, 'Philosophie des Lebens' (given in 1827, published 1828) and 'Philosophie des Sprache und des Wortes' (given in December 1828 and published posthumously), are reissued here in an 1847 English translation. The first (...) presents Schlegel's understanding of philosophy as independent of theology or politics, concerned with the 'inner spiritual life' of humankind. The second explores the nature of communication through language and art. Schlegel argues that full human consciousness cannot be restored by Enlightenment science, but only by divine revelation and redemption. He offers no ready-made solutions, but encourages his listeners to develop their own responses to these questions. (shrink)

This article is intended to contribute to the discussion on the meaning of volunteering by investigating voluntary work from the viewpoint of volunteers active in Swedish civil society organizations.Meaning refers both to the cognitive meaning of concepts and to the perceived meaning in life. The aim to uncover the predicates that people attribute to the concept is an attempt to anatomize volunteering as a social construct. Five predicates emerged and they make up the phenomenological structure of volunteering. By contextualizing this (...) structure in contemporary Swedish society, it is demonstrated that the conceptual meaning of volunteering has significance for its existential meaning. The volunteers say that their authenticity is confirmed through the voluntary work since they are making themselves manifest in public. Following Hannah Arendt, the reasons for this is that authenticity demands that the volunteers conduct their actions in a public realm where their actions acquire an intrinsic value as neither coerced nor instrumental. (shrink)

In small-scale societies, punishment of adults is infrequent and employed when the anticipated cost-to-benefit ratio is low, such as when punishment is collectively justified and administered. In addition, benefits may exceed costs when punishers have relatively greater physical and social capital and gain more from cooperation. We provide examples from the Tsimane horticulturalists of Bolivia to support our claims.

Preface LUDWIG von Mises published many books and articles in his long and productive life, each of them making important contributions to the theory and ...